* Makefile.in (install-man): Ignore gzip exit status.
authorGlenn Morris <rgm@gnu.org>
Tue, 5 Mar 2013 03:43:52 +0000 (19:43 -0800)
committerGlenn Morris <rgm@gnu.org>
Tue, 5 Mar 2013 03:43:52 +0000 (19:43 -0800)
commit8870963911e33fc3c5b80b1e06a9890b85864d05
tree73661ac40b0f85bf44ee76acf10f25bd1f6e477a
parentbbba91449f8368c4fc0ba69a2188598646d3efc5
* Makefile.in (install-man): Ignore gzip exit status.
ChangeLog
Makefile.in